python - locale.setlocale(LC_NUMERIC) : how to make it work on Windows